<?
require_once("./include/db_info.inc.php");
/* 
*/

if(isset($_GET['id']))
	$pid=intval($_GET['id']);
else
	$pid=0;
//if($OJ_BBS=="discuss"){
   header("Location:discuss.php?pid=".$pid);

//}
?>
